Dynamic epistemic logic - PDFSEARCH.IO - Document Search Engine

Dynamic epistemic logic
Results: 29

#	Item
11	Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic∗ Iris van de Pol † Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2015-07-26 13:20:01
12	Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw Add to Reading List Source URL: www.ninagierasimczuk.com Language: English - Date: 2012-04-16 16:00:45
13	Conditional Epistemic Planning Mikkel Birkegaard Andersen, Thomas Bolander, and Martin Holm Jensen Technical University of Denmark Abstract. Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundat Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2012-07-25 09:46:24
14	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic
15	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
16	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
17	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
18	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
19	Dynamic Epistemic Logic Hans van Ditmarsch, LORIA, CNRS – Universit´e de Lorraine Wiebe van der Hoek, Computer Science, The University of Liverpool Barteld Kooi, Faculty of Philosophy, University of Groningen 1 Add to Reading List Source URL: www.iep.utm.edu Language: English - Date: 2013-09-29 12:02:23 Philosophical logic Non-classical logic Artificial intelligence Epistemic modal logic Common knowledge Belief revision Kripke semantics Doxastic logic Logic Mathematical logic Modal logic
20	Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 12:33:36 Formal languages Propositional calculus Predicate logic Logical truth Interpretation First-order logic Substitution Indiscernibles Formation rule Logic Mathematical logic Model theory